module

public import Mathlib.Analysis.LocallyConvex.SeparatingDual
public import Mathlib.Analysis.Normed.Operator.CompleteCodomain

deprecated_module (since := "2025-11-06")
